Representation Theorems for Certain Boolean Algebras
نویسندگان
چکیده
منابع مشابه
The Representation of Boolean Algebras
1. Introduction. In this brief address I shall set myself a twofold aim: to review the theory of Boolean algebras, as we understand it today, and to sketch certain historical phases of its development. Although I am in no sense prepared to offer the fruits of painstaking historical research, I believe that by a few pertinent historical observations I shall be able to bring out the underlying ev...
متن کاملA representation theorem for Boolean contact algebras
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.
متن کاملLambda Abstraction Algebras: Representation Theorems
Lambda abstraction algebras (LAAs) are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. Like combinatory algebras they can be defined by true identities and thus form a variety in the sense of universal algebra, but they differ from combinatory algebras in several important respects. The most natural L...
متن کاملThe Stone Representation Theorem for Boolean Algebras
The Stone Representation Theorem for Boolean Algebras, first proved by M. H. Stone in 1936 ([4]), states that every Boolean algebra is isomorphic to a field of sets. This paper motivates and presents a proof.
متن کاملOn Sandwich theorems for certain classes of analytic functions
The purpose of this present paper is to derive some subordination and superordination results for certain analytic functions in the open unit disk. Relevant connections of the results, which are presented in the paper, with various known results are also considered.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1959
ISSN: 0002-9939
DOI: 10.2307/2032885